<?php

/**
 * @author ROCU Fabien
 */

if ( !isset($deconnexion) ) {
    if ($_user->isLogged()) {
            $_SESSION['user'] = serialize($_user);

        if ( isset($_individus) ) $_SESSION['individus'] = serialize($_individus);
        if ( isset($_application) ) $_SESSION['application'] = serialize($_application);
        if ( isset($_metier) ) $_SESSION['metier'] = serialize($_metier);
    }
}

$_mysql->close();

?>